یادگیری منطق اجرایی برنامه از روی نمونه های اجرا شده برنامه و به کارگیری آن در پایش رفتار برنامه در زمان اجرا
نویسندگان
چکیده
به منظور اطمینان از صحت اجرای برنامه، رفتار برنامه مورد بررسی قرار می گیرد. با در اختیار داشتن کد اصلی برنامه می توان منطق برنامه را استخراج کرد و رفتار برنامه را شناخت. در این مقاله، دیدگاه ما نسبت به برنامه ها به صورت جعبه سیاه است، بنابراین از منطق اجرایی برنامه، اطلاعی در دست نیست. با این حال سعی شده است منطق اجرایی برنامه از روی اجراهای متعدد و موفق برنامه و ثبت فراخوانی های سیستمی تولید شده توسط برنامه، با به کارگیری رویکرد استقرایی یادگیری شود. بدین منظور سازوکارهایی برای کشف حلقه ها و نقاط انشعاب برنامه به کار برده و منطق اجرایی برنامه را به صورت انتزاعی در سطح فراخوانی های سیستمی بازسازی کرده ایم. آنگاه با در اختیار داشتن منطق اجرایی برنامه، همانند روش های با نگرش جعبه سفید، انحراف رفتار برنامه در زمان اجرا را از منطق اجرایی آن تشخیص داده ایم. برای روش پیشنهادی دو کاربرد پیشنهاد شده است: (1) ساخت سیستم تشخیص نفوذ به برنامه، (2) حفاظت از برنامه در برابر خطا. نتایج کارایی روش پیشنهادی، با انجام آزمایش هایی ارایه شده است.
منابع مشابه
آموزش کارآفرینی در دانشگاه‌ها: (چهارچوبی برای برنامه ریزی، اجرا و ارزیابی برنامه های کارآفرینی)
هدف این تحقیق تهیه چهارچوبی برای طراحی، اجرا و ارزیابی برنامه های آموزش کارآفرینی در دانشگاه‌ها بوده است. نوع تحقیق توصیفی- پیمایشی و جامعه آماری آن دوگروه فعال در دانشگاه‌های دولتی است که در اجرای طرح «کاراد» مراکز کارآفرینی درآنها تشکیل شده است (اعضای هیات علمی، مدیران). براساس جدول نمونه گیری «مورگان و کوهن» تعداد269 نفر (شامل102 نفر از مدیران و167 نفر از اعضای هیات علمی) با استفاده از شیوه ...
متن کاملکاوش برنامه درسی اجرا شده دروس تربیتی؛ نظریه‌ای داده بنیاد
دروس تربیتی از درسهای مفید، کلیدی و ضروری دانشجویان دورههای تربیت معلم بهخصوص آموزگاران دوره ابتدایی است، چنانچه محتوای این دروس متناسب با نیازهای حرفهای معلمان تدوین شود، میتواند نقش مؤثری در بهبود عملکرد آنان داشته باشد. در همین راستا، هدف این مقاله، بررسی فرایند برنامه درسی اجرا شده دروس تربیتی کارشناسی پیوسته آموزش ابتدایی دانشگاه فرهنگیان بود تا از این رهگذر نقاط ضعف و قوت، شناسایی و...
متن کاملمقایسه اهداف و محتوای برنامه درسی اجرا شده با برنامه درسی قصد شده در مراکز پیش دبستانی شهر کرمان
پژوهش حاضر با هدف بررسی اهداف و محتوای برنامه درسی اجرا شده و مقایسه آن با برنامه درسی قصد شده در مراکز پیش دبستانی شهر کرمان انجام گرفته است. روش پژوهش حاضر کیفی و جامعه پژوهش کلیه مراکز پیش دبستانی و مهدکودک‌های شهر کرمان بودند. روش نمونه گیری با توجه به هدف و روش پژوهش به صورت هدفمند و 9مرکز پیش دبستانی انتخاب گردید. ابزار پژوهش شامل چک لیست مشاهده، مصاحبه نیمه ساختار یافته و بررسی اسناد بود...
متن کاملچگونه برنامه درسی اجرا شده را ارزشیابی کنیم؟
پژوهش حاضر با هدف ارائه چهارچوبی برای ارزشیابی از برنامه درسی اجرا شده دوره کارشناسی انجام گرفته است. با استفاده از روش پژوهش کیفی توصیفی، تجارب و ادراکات 31 نفر (17 عضو هیئت علمی، 12 دانشجوی دوره کارشناسی، 2 کارشناس دفتر برنامه‌ریزی آموزش عالی) از دانشگاه‌های علامه طباطبایی، تهران و خوارزمی، دانشگاه علوم پزشکی ارتش و دفتر برنامه‌ریزی آموزش عالی با روش نمونه‌گیری هدفمند و از طریق مصاحبه نیمه سا...
متن کاملاثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین
Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...
متن کاملاثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین
Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
مهندسی برق مدرسجلد ۶، شماره ۱، صفحات ۱۱-۳۰
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023